Effective Differential Nullstellensatz
نویسندگان
چکیده
E↑ective di↑erential Nullstellensatz – page 1/19
منابع مشابه
On bounds for the effective differential Nullstellensatz
Understanding bounds for the effective differential Nullstellensatz is a central problem in differential algebraic geometry. Recently, several bounds have been obtained using Dicksonian and antichains sequences (with a given growth rate). In the present paper, we make these bounds more explicit and, therefore, more applicable to understanding the computational complexity of the problem, which i...
متن کاملEffective differential elimination
The effective differential Nullstellensatz is a fundamental result in the computational theory of algebraic differential equations. It allows one to reduce problems about differential equations to problems about polynomial equations. In particular, it provides an algorithm for checking consistency of a system of algebraic differential equations and an algorithm for testing membership in radical...
متن کاملA Bound for Orders in Differential
We give the first known bound for orders of differentiations in differential Nullstellensatz for both partial and ordinary algebraic differential equations. This problem was previously addressed in [1] but no complete solution was given. Our result is a complement to the corresponding result in algebraic geometry, which gives a bound on degrees of polynomial coefficients in effective Nullstelle...
متن کاملA Bound for Orders in Differential Nullstellensatz
We give the first known bound for orders of differentiations in differential Nullstellensatz for both partial and ordinary algebraic differential equations. This problem was previously addressed in [1] but no complete solution was given. Our result is a complement to the corresponding result in algebraic geometry, which gives a bound on degrees of polynomial coefficients in effective Nullstelle...
متن کاملNew effective differential Nullstellensatz
We show new upper and lower bounds for the effective differential Nullstellensatz for differential fields of characteristic zero with several commuting derivations. Seidenberg was the first to address this problem in 1956, without giving a complete solution. The first explicit bounds appeared in 2009 in a paper by Golubitsky, Kondratieva, Szanto, and Ovchinnikov,with the upper bound expressed i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1610.04022 شماره
صفحات -
تاریخ انتشار 2008